foo : Nat -> Nat
foo x = ?foo_rhs

bar : Nat -> Nat
bar x = plus x ?bar_rhs

-- Rest of file
